Dick H. J. Jongh : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (37)
Les plus populaires
Liste
- Liste
- Tableau

1

Foundations of pragmatics and lexical semantics || Chapter 6. Prespie in Pragmatic Wonderland or: The Projection Problem for Presuppositions Revisited

Groenendijk, Jeroen A. G., Jongh, Dick de, Stokhof, Martin J. B.

Année:

1986

Fichier:

PDF, 1.87 MB

1986

2

A simplification of a completeness proof of Guaspari and Solovay

Dick H. J. Jongh

Journal:

Année:

1987

Langue:

english

Fichier:

PDF, 401 KB

english, 1987

3

Provability Logic || On the Proof of Solovay's Theorem

Dick de Jongh, Marc Jumelet and Franco Montagna

Journal:

Année:

1991

Langue:

english

Fichier:

PDF, 1.67 MB

english, 1991

4

Subintuitionistic logics and the implications they prove

de Jongh, Dick, Shirmohammadzadeh Maleki, Fatemeh

Journal:

Indagationes Mathematicae

Année:

2018

Langue:

english

Fichier:

PDF, 1.50 MB

english, 2018

5

Foundations of pragmatics and lexical semantics || Chapter 5. Transparent Adverbs and Scopeless Quantifiers

Groenendijk, Jeroen A. G., Jongh, Dick de, Stokhof, Martin J. B.

Année:

1986

Fichier:

PDF, 1.46 MB

1986

6

Foundations of pragmatics and lexical semantics || Chapter 3. Compositionality and the Syntax of Words

Groenendijk, Jeroen A. G., Jongh, Dick de, Stokhof, Martin J. B.

Année:

1986

Fichier:

PDF, 1.61 MB

1986

7

Provable Fixed Points

Dick De Jongh, Franco Montagna

Journal:

Mathematical Logic Quarterly

Année:

1988

Langue:

english

Fichier:

PDF, 1.26 MB

english, 1988

8

A Simplification of a Completeness Proof of Guaspari and Solovay

Dick H. J. de Jongh

Journal:

Année:

1987

Langue:

english

Fichier:

PDF, 892 KB

english, 1987

9

Provability Logic || Explicit Fixed Points in Interpretability Logic

Dick de Jongh and Albert Visser

Journal:

Année:

1991

Langue:

english

Fichier:

PDF, 1.00 MB

english, 1991

10

Generic Generalized Rosser Fixed Points

Dick H. J. de Jongh and Franco Montagna

Journal:

Année:

1987

Langue:

english

Fichier:

PDF, 1.40 MB

english, 1987

11

Foundations of pragmatics and lexical semantics || Chapter 4. Japanese Noun-phrases and Particles wa and ga

Groenendijk, Jeroen A. G., Jongh, Dick de, Stokhof, Martin J. B.

Année:

1986

Fichier:

PDF, 1.26 MB

1986

12

Foundations of pragmatics and lexical semantics || Chapter 2. Locating Events

Groenendijk, Jeroen A. G., Jongh, Dick de, Stokhof, Martin J. B.

Année:

1986

Fichier:

PDF, 1.03 MB

1986

13

Foundations of pragmatics and lexical semantics || Chapter 7. Paradoxes of Elimination

Groenendijk, Jeroen A. G., Jongh, Dick de, Stokhof, Martin J. B.

Année:

1986

Fichier:

PDF, 2.35 MB

1986

14

Foundations of pragmatics and lexical semantics || Chapter 1. Context-dependent Interpretations of Lexical Items

Groenendijk, Jeroen A. G., Jongh, Dick de, Stokhof, Martin J. B.

Année:

1986

Fichier:

PDF, 1.75 MB

1986

15

Much Shorter Proofs

Dick de Jongh, Franco Montagna

Journal:

Mathematical Logic Quarterly

Année:

1989

Langue:

english

Fichier:

PDF, 879 KB

english, 1989

16

Preface

Dick de Jongh, Albert Visser

Journal:

Annals of Pure and Applied Logic

Année:

1993

Langue:

english

Fichier:

PDF, 42 KB

english, 1993

17

Interpretability in

Marta Bílková, Dick de Jongh, Joost J. Joosten

Journal:

Annals of Pure and Applied Logic

Année:

2009

Langue:

english

Fichier:

PDF, 641 KB

english, 2009

18

Generic generalized Rosser fixed points

Dick H. J. Jongh, Franco Montagna

Journal:

Année:

1987

Langue:

english

Fichier:

PDF, 682 KB

english, 1987

19

On the proof of Solovay's theorem

Dick Jongh, Marc Jumelet, Franco Montagna

Journal:

Année:

1991

Langue:

english

Fichier:

PDF, 892 KB

english, 1991

20

Rosser orderings and free variables

Dick Jongh, Franco Montagna

Journal:

Année:

1991

Langue:

english

Fichier:

PDF, 516 KB

english, 1991

21

Explicit Fixed Points in Interpretability Logic

Dick Jongh, Albert Visser

Journal:

Année:

1991

Langue:

english

Fichier:

PDF, 496 KB

english, 1991

22

Computations in fragments of intuitionistic propositional logic

Dick De Jongh, Lex Hendriks, Gerard R. Renardel De Lavalette

Journal:

Journal of Automated Reasoning

Année:

1991

Langue:

english

Fichier:

PDF, 1.01 MB

english, 1991

23

Intermediate Logics and the de Jongh property

Dick de Jongh, Rineke Verbrugge, Albert Visser

Journal:

Archive for Mathematical Logic

Année:

2011

Langue:

english

Fichier:

PDF, 273 KB

english, 2011

24

Extendible Formulas in Two Variables in Intuitionistic Logic

Nick Bezhanishvili, Dick de Jongh

Journal:

Année:

2012

Langue:

english

Fichier:

PDF, 287 KB

english, 2012

25

The decidability of dependency in intuitionistic propositional logic

de Jongh, Dick, Chagrova, L. A.

Journal:

Journal of Symbolic Logic

Année:

1995

Langue:

english

Fichier:

PDF, 505 KB

english, 1995

26

[ACM Press the ninth annual conference - Desenzano del Garda, Italy (1996.06.28-1996.07.01)] Proceedings of the ninth annual conference on Computational learning theory - COLT '96 - Angluin's theorem for indexed families of r.e. sets and applications

de Jongh, Dick, Kanazawa, Makoto

Année:

1996

Langue:

english

Fichier:

PDF, 1.30 MB

english, 1996

27

[Studies in Logic and the Foundations of Mathematics] The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held in Noordwijkerhout Volume 110 || Formulas of One Propositional Variable in Intuitionistic Arithmetic

de Jongh, Dick H.J.

Année:

1982

Langue:

english

Fichier:

PDF, 566 KB

english, 1982

28

[Studies in Logic and the Foundations of Mathematics] The Kleene Symposium Volume 101 || A Class of Intuitionistic Connectives

de Jongh, Dick H.J.

Année:

1980

Langue:

english

Fichier:

PDF, 437 KB

english, 1980

29

Characterization of strongly equivalent logic programs in intermediate logics

DE JONGH, DICK H. J., HENDRIKS, LEX

Journal:

Theory and Practice of Logic Programming

Année:

2003

Langue:

english

Fichier:

PDF, 122 KB

english, 2003

30

Dedicated to the Memory of Leo Esakia || Extendible Formulas in Two Variables in Intuitionistic Logic

Nick Bezhanishvili and Dick de Jongh

Journal:

Année:

2012

Langue:

english

Fichier:

PDF, 2.09 MB

english, 2012

31

Provability Logic || Rosser Orderings and Free Variables

Dick de Jongh and Franco Montagna

Journal:

Année:

1991

Langue:

english

Fichier:

PDF, 1004 KB

english, 1991

32

Subminimal negation

Colacito, Almudena, de Jongh, Dick, Vargas, Ana Lucia

Journal:

Soft Computing - A Fusion of Foundations, Methodologies and Applications

Année:

2017

Langue:

english

Fichier:

PDF, 534 KB

english, 2017

33

Weak subintuitionistic logics

Maleki, Fatemeh Shirmohammadzadeh, De Jongh, Dick

Journal:

Logic Journal of IGPL

Année:

2016

Langue:

english

Fichier:

PDF, 161 KB

english, 2016

34

Stable Formulas in Intuitionistic Logic

Bezhanishvili, Nick, de Jongh, Dick

Journal:

Notre Dame Journal of Formal Logic

Année:

2018

Langue:

english

Fichier:

PDF, 404 KB

english, 2018

35

Assessment of Depression Inventory (ADI)

de Jonghe, Jos, van Leeuwen, Machteld, Muller, Jordy, Schoemaker, Tjerk, Lam, Dick, v.d. Veer, Jaap

Journal:

Tijdschrift voor Bedrijfs- en Verzekeringsgeneeskunde

Année:

2019

Langue:

dutch

Fichier:

PDF, 238 KB

dutch, 2019

36

Designing Eukaryotic Gene Expression Regulation Using Machine Learning

de Jongh, Ronald P.H., van Dijk, Aalt D.J., Julsing, Mattijs K., Schaap, Peter J., de Ridder, Dick

Journal:

Trends in Biotechnology

Année:

2019

Fichier:

PDF, 1013 KB

2019

37

Foundations of pragmatics and lexical semantics || Table of Contents

Groenendijk, Jeroen A. G., Jongh, Dick de, Stokhof, Martin J. B.

Année:

1986

Fichier:

PDF, 84 KB

1986